// RUN: %target-swift-frontend -typecheck -dump-ast %s 2>&1 | %FileCheck %s

protocol P1 {
  associatedtype A
}

// CHECK-LABEL: protocol "P2"
// CHECK-NEXT: (associated_type_decl "A" {{.*}} overridden=P1))
protocol P2 : P1 {
  associatedtype A
}

protocol P3 {
  associatedtype A
}

// CHECK-LABEL: protocol "P4"
// CHECK-NEXT: (associated_type_decl "A" {{.*}} overridden=P2, P3))
protocol P4 : P2, P3 {
  associatedtype A
}

// CHECK-LABEL: protocol "P5"
// CHECK-NEXT: (associated_type_decl "A" {{.*}} overridden=P4))
protocol P5 : P4, P2 {
  associatedtype A
}

